-
1 функциональное исчисление
функциональное исчисление с. мат. Funktionenkalkül mБольшой русско-немецкий полетехнический словарь > функциональное исчисление
-
2 функциональное исчисление
Русско-английский большой базовый словарь > функциональное исчисление
-
3 функциональное исчисление
Русско-английский научный словарь > функциональное исчисление
-
4 функциональное исчисление
Большой англо-русский и русско-английский словарь > функциональное исчисление
-
5 функциональное исчисление
Русско-английский технический словарь > функциональное исчисление
-
6 функциональное исчисление
1) Engineering: functional calculus2) Mathematics: FC (functional calculus), functional analysisУниверсальный русско-английский словарь > функциональное исчисление
-
7 функциональное исчисление
Русско-английский политехнический словарь > функциональное исчисление
-
8 функциональное исчисление
adjeng. FunktionenkalkülУниверсальный русско-немецкий словарь > функциональное исчисление
-
9 функциональное исчисление
Russian-english psychology dictionary > функциональное исчисление
-
10 функциональное исчисление
Русско-английский биологический словарь > функциональное исчисление
-
11 функциональное исчисление
функціона́льне чи́сленняРусско-украинский политехнический словарь > функциональное исчисление
-
12 функциональное исчисление
функціона́льне чи́сленняРусско-украинский политехнический словарь > функциональное исчисление
-
13 функциональное исчисление
Dictionnaire technique russo-italien > функциональное исчисление
-
14 функциональное исчисление
Русско-английский физический словарь > функциональное исчисление
-
15 функциональное исчисление
Russian-german polytechnic dictionary > функциональное исчисление
-
16 функциональное исчисление
Русско-английский словарь по вычислительной технике и программированию > функциональное исчисление
-
17 бинарное функциональное исчисление
Mathematics: binary functional calculusУниверсальный русско-английский словарь > бинарное функциональное исчисление
-
18 чистое функциональное исчисление
Mathematics: pure functional calculusУниверсальный русско-английский словарь > чистое функциональное исчисление
-
19 чистое функциональное исчисление
Русско-английский научно-технический словарь Масловского > чистое функциональное исчисление
-
20 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
См. также в других словарях:
ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — гомоморфизм нек рой алгебры функций Ав алгебру L(X)непрерывных линейных операторов в топологич. векторном пространстве X. Ф. и. один из основных инструментов общего спектрального анализа и теории банаховых алгебр, к рый позволяет использовать в… … Математическая энциклопедия
МИНИМАЛЬНОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, — минимальное исчисление предикатов, исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е. (t произвольный терм), модус поненс и (переменная … Математическая энциклопедия
Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
СЖАТИЕ — с ж и м а ю щ и й о п е р а т о р, ограниченное линейное отображение Тгильбертова пространства H в гильбертово пространство H с . При H=H сжатие Тназ. вполне неунитарным, если оно не является унитарным оператором ни при каком: отличном от {0}… … Математическая энциклопедия
СПЕКТР — оператора совокупность чисел для к рых оператор не имеет всюду определенного ограниченного обратного. Здесь А линейный оператор в комплексном банаховом пространстве Х, I тождественный оператор в X. Если Ане замкнут в X, то поэтому обычно… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
ФУНКЦИЯ — (лат. functio – исполнение) обязанность, круг деятельности. «Функция – это существование, мыслимое нами в действии» (Гёте). Наука о функциях органов живых существ – физиология; специальная наука о функциях нервной системы – физиология органов… … Философская энциклопедия